Open Kernel Labs - PDFSEARCH.IO - Document Search Engine

Open Kernel Labs
Results: 69

#	Item
21	CommunityeEcosystem3.graffle Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:43:22 Higher education Education Gi-Fi Open Kernel Labs Griffith University University of New South Wales Australian National University University of Melbourne University of Sydney Association of Commonwealth Universities NICTA Academia
22	Annual Report to the Australian Government[removed]January – 31 December 2012 National ICT Australia Ltd – for public release Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:46:03 Information and communication technologies in education Computing NICTA Technology Open Kernel Labs
23	ISSUE 17 March[removed]www.nicta.com.au NICTA writes recipe for impact Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:43 Technology Gi-Fi Open Kernel Labs Gernot Heiser L4 microkernel family Electronics CeBIT Future Internet University of New South Wales Association of Commonwealth Universities Computing NICTA
24	ISSUE 19 September[removed]NICTA shines with world-first research and biggest-ever Techfest Hello and welcome to the September Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:50 NICTA Gernot Heiser L4 microkernel family Open Kernel Labs Institute for a Broadband-Enabled Society Gi-Fi Armadillo University of New South Wales Australian National University Software System software Computing
25	ISSUE 12 December[removed]www.nicta.com.au NICTA preparing for the future NICTA is committed to being a world-class ICT Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:40 NICTA Open Kernel Labs Gi-Fi Academia L4 microkernel family University of New South Wales Australian National University Information and communication technologies in education University of Sydney Association of Commonwealth Universities Technology Computing
26	Locked Bag 9013 Alexandria NSW 1435 Tel: +[removed]Fax: + [removed]CRL - Canberra Research Laboratory Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:52:49 L4 microkernel family Technology Computing Framework Programmes for Research and Technological Development Ambient intelligence Capability-based security Australian National University Academia NICTA Open Kernel Labs Gernot Heiser
27	ISSUE 10 May[removed]www.nicta.com.au NICTA - Showcasing our abilities It’s been busy times at NICTA since our last newsletter in February. In March NICTA held its third Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:39 LIXI Open Kernel Labs Academia CSSIP Computing Cooperative Research Centre CeBIT University of Sydney Research institutes NICTA Technology
28	ISSUE 37 \| JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:56 Red Lizard Software Formal verification Academia Research University of New South Wales Applied mathematics Open Kernel Labs NICTA Gernot Heiser L4 microkernel family
29	WHITE PAPER Mobile Handset Teardown: Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2009-10-19 19:28:33 Embedded systems Programming language implementation Mobile virtualization Hypervisor Virtualization Open Kernel Labs Embedded hypervisor Hyper-V L4 microkernel family System software Software Virtual machines
30	ISSUE 07 July[removed]www.nicta.com.au Go to CONTENTS > Education: Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:38 Open Kernel Labs Gernot Heiser L4 microkernel family Information and communication technologies in education University of Melbourne Technology NICTA Computing

UPDATE